(w32_wnd_proc) <WM_TIMER>: Fix last change.

diff --git a/src/w32fns.c b/src/w32fns.c
index b3f37131640504ea3f79e98a33398e6bd56551d3..eba864be96e8219f92c3bc9e1e737228f48e65e1 100644 (file)
--- a/src/w32fns.c
+++ b/src/w32fns.c
@@ -4779,6 +4779,7 @@ w32_wnd_proc (hwnd, msg, wParam, lParam)
        {
          KillTimer (hwnd, menu_free_timer);
          menu_free_timer = 0;
+         f = x_window_to_frame (dpyinfo, hwnd);
          if (!f->output_data.w32->menu_command_in_progress)
            {
              /* Free memory used by owner-drawn and help-echo strings.  */